（来源：上观新闻）
后来Dylan写🌇了一篇🌙🤲文章指🌈出我其实“🌰故意保守”💜🌓了，实🤺际是50倍🚆😫。这里不😏是说有大量的AS🌯IC机会，而🚵是只有一个🇺🇸🇶🇦Anthropi🇪🇷🈯c🐘。陈海波对 Dee🎖📐pTech 表💐🖇示：“当编程🧲智能体可以生成 🦹♀️10 万行以上📶🧑代码时👻，开发者对内👨❤️💋👨🇾🇹部的函数行🛩◾为本就一知半🎳解，为成百🏆上千个函数编0️⃣写形式化规约更不🆓🏹可行🇰🇵🥡。
他们在早期🥠投入了巨额资🇺🇲金，使Anth🧖♀️ropi🇹🇹c最终使用了他😖们的计算资源🇦🇫🏴。这是一整套系统工📃🧫程，赛道足够↙大，足够难🇪🇬一本一道久久一区二区三区，足够需要钱🥩😑。这就是合🐴🇧🇶成数据🍚🐴的用武之地，用🍵它来填补🥪那些成💈本极高或根📱本无法自然收集的👥数据空白👨👧👦🎓。
FM-Agen🇹🇲🏵t 并非🧠追求传🔡♋统形式🇲🇿🥨化验证那种绝对完👩🦱美的数学证👩✈️明，而是利用 👨👧LLM 🔓的推理能力在🧫绝对严谨与🍛工程可用之🦸♂️间找到一个🥞绝佳平衡点🧜♂️。
